MAC Revisited: Mechanised Algebraic Operations on Fourth Generation Computers
نویسندگان
چکیده
منابع مشابه
Operations on soft sets revisited
Soft sets, as a mathematical tool for dealing with uncertainty, have recently gained considerable attention, including some successful applications in information processing, decision, demand analysis, and forecasting. To construct new soft sets from given soft sets, some operations on soft sets have been proposed. Unfortunately, such operations cannot keep all classical set-theoretic laws true...
متن کاملEfficient Algebraic Operations on Programs
A symbolic version of an operation on values is a corresponding operation on program texts. For example, symbolic composition of two programs p, q yields a program whose meaning is the (mathematical) composition of the meanings of p and q. Another example is symbolic specialization of a function to a known first argument value. This operation, given the first argument, transforms a two-input pr...
متن کاملMAC-DBT Revisited
Dynamic Backtracking (DBT ) is a well known algorithm for solving Constraint Satisfaction Problems. In DBT , variables are allowed to keep their assignment during backjump, if they are compatible with the set of eliminating explanations. A previous study has shown that when DBT is combined with variable ordering heuristics, it performs poorly compared to standard Conflict-directed Backjumping (...
متن کاملThe Mac Revisited and Updated
7% paper presenh a new model correlation technique based on an iteration of the MAC meficient. The validation of II complex model such IIS rl complete rotating machine cm be very di#icult. It depends upon cmwct loadiwtion of modelling errors which few existing cow&ion methods hmv succeeded. ‘Ibe MAC value has been used in model correlation, but it is not suficiient to locate errors. A subsequen...
متن کاملSemantics for Algebraic Operations
Given a complete and cocomplete symmetric monoidal closed category V and a symmetric monoidal V -category C with cotensors and a strong V -monad T on C, we investigate axioms under which an ObCindexed family of operations of the form αx : (Tx) v −→ (Tx)w provides semantics for algebraic operations, which may be used to extend the usual monadic semantics of the computational λ-calculus uniformly...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Astronomical Union Colloquium
سال: 1978
ISSN: 0252-9211
DOI: 10.1017/s0252921100062175